Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
751	Istituto per la Ricerca Scientifica e Tecnologica I[removed]Trento Loc. Pant e di Povo tel[removed]Telex[removed]ITCRST Telefax[removed]The Inevitability of Inconsistent Abstract Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:17:16 Proof theory Thought Abstraction Philosophy of language Axiom Concept Theorem Propositional calculus Lambda calculus Logic Mathematics Mathematical logic
752	California Postsecondary Education Commission -- Improving Teacher Quality 2007 Grant Awards, Report 07-23 Add to Reading List Source URL: www.cpec.ca.gov Language: English - Date: 2008-08-19 12:49:38 Achievement gap in the United States Affirmative action in the United States Socioeconomics English-language learner No Child Left Behind Act Teacher WestEd National Council of Teachers of Mathematics Education Mathematics education Educational psychology
753	09301 Abstracts Collection Typing, Analysis and Verication of Heap-Manipulating Programs Dagstuhl Seminar Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2010-02-24 02:50:07 Logic in computer science Programming paradigms Program logic Programming language semantics Substructural logic Separation logic Class invariant Invariant Loop invariant Theoretical computer science Software engineering Mathematics
754	From Regular Expressions to Parsing Expression Grammars S´ergio Medeiros1 , Fabio Mascarenhas2 , Roberto Ierusalimschy3 1 Department of Computer Science – UFS – Aracaju – Brazil Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2011-11-01 13:15:44 Theoretical computer science Pattern matching Regular expressions Parsing expression grammar Function Regular language Exponentiation Formal languages Mathematics Automata theory
755	Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2014, Article ID[removed], 7 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 10:20:40 Logical syntax Philosophical logic Philosophy of language Theorems Biharmonic equation Harmonic function Hindawi Publishing Corporation Logic Mathematics Logical consequence
756	Advances in Programming Languages APL13: Assertions and Hoare Logic David Aspinall (most slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-08 17:16:25 Program logic Logic in computer science Propositional calculus Model theory Hoare logic Philosophy of language First-order logic Assertion Axiom Logic Mathematics Mathematical logic
757	Journal of Functional Programming http://journals.cambridge.org/JFP Additional services for Journal of Functional Programming: Email alerts: Click here Subscriptions: Click here Commercial reprints: Click Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2013-03-29 19:34:46 Computer science Logic in computer science Programming language semantics Computability theory Formal methods Operational semantics Lambda calculus Denotational semantics Abstract interpretation Theoretical computer science Models of computation Applied mathematics
758	Dissertation submitted to the Joint Faculties for Natural Sciences and Mathematics of the Ruperto Carola University of Heidelberg, Germany, for the degree of Add to Reading List Source URL: archiv.ub.uni-heidelberg.de Language: English Network performance Transmission Control Protocol Throughput Unified Modeling Language Communications protocol Diagram ECO TCP offload engine Information Data Computing
759	PhD Dissertation International Doctorate School in Information and Communication Technologies DISI - University of Trento Add to Reading List Source URL: eprints-phd.biblio.unitn.it Language: English - Date: 2012-03-26 15:30:41 Programming language semantics Theoretical computer science Functions and mappings Markov chain Scow Operational semantics Algorithm Continuous function Function Mathematics Applied mathematics Logic in computer science
760	Constructing Category Hierarchies for Visual Recognition Marcin Marszalek and Cordelia Schmid INRIA Grenoble, LEAR, LJK {marcin.marszalek,cordelia.schmid}@inrialpes.fr Add to Reading List Source URL: lear.inrialpes.fr Language: English - Date: 2008-07-28 14:22:31 Object-oriented programming Class Cluster analysis Hierarchy Space partitioning Inheritance K-means clustering Partition of a set Frame language Statistics Software engineering Mathematics

UPDATE